Problema de correspondencia de Post

Problema de correspondencia de Post
El Problema de Correspondencia de Post es un problema de decisión indecidible que fue propuesto por Emil Post. Por ser más sencillo que el Problema de parada y que el Entscheidungsproblem, resulta útil para realizar pruebas de indecibilidad. Informalmente, el problema puede ser descrito como sigue: Dado un diccionario que contiene pares de frases, es decir, listas de palabras, que significan lo mismo, decidir si existe una frase que significa lo mismo en ambos lenguajes.

Enciclopedia Universal. 2012.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Problema de correspondencia de Post — Saltar a navegación, búsqueda El Problema de Correspondencia de Post es un problema de decisión indecidible que fue propuesto por Emil Post. Por ser más sencillo que el Problema de parada y que el Entscheidungsproblem, resulta útil para realizar… …   Wikipedia Español

  • Hannah Arendt — en una ilustración de Aretz para el sello de la serie Mujeres de la Historia alemana. Hannah Arendt, nacida como Johanna Arendt, (Linden Limmer, hoy …   Wikipedia Español

  • Carl Gustav Jung — «Jung» redirige aquí. Para otras acepciones, véase Jung (desambiguación). Carl Gustav Jung …   Wikipedia Español

  • Prejuicio cognitivo — Saltar a navegación, búsqueda El hombre en el centro ha cometido un error en sus pasos de baile, y choca contra la mujer, que se enoja y los demás murmuran. Sólo las personas que vieron la miniserie Orgullo y prejuicio (1995) pueden entender el… …   Wikipedia Español

  • Anexo:Sesgos cognitivos — El hombre en el centro ha cometido un error en sus pasos de baile, y choca contra la mujer, que se enoja y los demás murmuran. En la obra de Jane Austen Orgullo y prejuicio (1813) se muestra claramente el prejuicio de clases sociales y cómo el… …   Wikipedia Español

  • Alfred Russel Wallace — Alfred Russel Wallace …   Wikipedia Español

  • Luigi Pasinetti — «Pasinetti» redirige aquí. Para otras acepciones, véase Pasinetti (desambiguación). Luigi Pasinetti. Luigi L. Pasinetti (12 de Septiembre de 1930) es un economista italiano de la escuela de economía postkeynesiana. Pasinetti es considerado el… …   Wikipedia Español

  • Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

  • Praga — Praha Praga …   Wikipedia Español

  • James Joyce — James Joyce …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”